publish(?a,?f) IMPLIES 
ONCE[0,7d] EXISTS ?m. 
  (NOT mgr_F(?m,?a) SINCE[0,*] mgr_S(?m,?a)) AND approve(?m,?f)
